退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:优化saT和smT自动测试生成求解布尔表达式
Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene;
机译:如何优化使用SAT和SMT解算器来测试布尔表达式的生成
机译:通过布尔可满足性自动生成测试模式以测试桥接故障
机译:使用SMT求解器状态生成的微处理器模型的随机测试
机译:通过SAT和SMT求解布尔表达式来优化自动测试生成
机译:高效采样SAT和SMT解决方案进行测试和验证
机译:将现代心理测量技术应用于旋律鉴别测试:项目响应理论计算机化自适应测试和自动项目生成
机译:伪布尔黑匣子优化方法在解决硬SAT实例的剥夺和征服方法的背景下
机译:使用优化求解器生成随机测试
机译:伊辛哈密顿函数的自动生成,用于解决量子计算中的优化问题
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。